Skip to content

Conversation

chayim
Copy link
Contributor

@chayim chayim commented Dec 6, 2022

No description provided.

@chayim chayim requested a review from dvora-h December 6, 2022 10:37
@chayim chayim merged commit a931581 into main Dec 6, 2022
@chayim chayim deleted the ck-updeps branch December 6, 2022 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants